Scientific Events Selection

Member of the Conference Program Committees

G. Burel was a member of the 12th International Workshop on the Implementation of Logics.

Reviewer

G. Burel, S. Martiel, and F. Gilbert rewiewed submissions to the Logic In Computer Science conference.

G. Burel reviewed submissions to the Formal Structures for Computation and Deduction conference.

Journal

Reviewer - Reviewing Activities

G. Burel reviewed articles for the Computer Journal and the Journal of Logic and Computation.

Invited Talks

G. Burel gave an invited lecture at the 28th Journées Francophones des Langages Applicatifs, entitled “Exprimer ses théories en Dedukti, le vérificateur de preuves universel”.

Scientific Expertise

G. Dowek is a member of the scientific concil of La Société Inforamatique de France.

G. Dowek is a member of the scientific concil of La Main à la Pâte.

G. Dowek is a member of the Commission de réflexion sur l’Éthique de la Recherche en sciences et technologies du Numérique d’Allistene.

Research Administration

F. Blanqui is co-director of the pole 4 (programming: models, algorithms, languages and architectures) of Paris-Saclay University's doctoral school on computer science.

F. Blanqui is referent of LSV PhD students.